Ticket pour la liberté. Entretien avec Otto Joachim
نویسندگان
چکیده
منابع مشابه
Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement
Gilles Dowek est Directeur de Recherche à l’Inria. Il conduit des recherches dans le domaine de la formalisation des mathématiques (théorie des types, théorie des ensembles, etc.) et sur les systèmes informatiques de traitement des démonstrations mathématiques. Par ailleurs, sa réflexion sur l’enseignement de l’informatique l’a mené à participer à la rédaction des nouveaux programmes d’enseigne...
متن کاملUn périphérique pour la saisie réaliste d’objets avec retour tactile
Nous présentons un prototype d’un périphérique immersif pour contrôler une main virtuelle avec une grande dextérité. Ce prototype est basé sur des résultats de tests utilisateurs réalisés sur des versions précédentes de notre périphérique, ainsi que sur l’analyse d’une tâche de saisie. Aussi simple à utiliser qu’une souris, il permet le contrôle simultané d’un grand nombre de degrés de liberté ...
متن کاملCorrespondances compatibles avec les fichiers inverses pour la recherche d'information
RÉSUMÉ. Cet article fait un retour sur l’un des éléments majeurs d’un système de recherche d’information : la correspondance basée sur des fichiers inverses car le passage d’une formule théorique à une implantation compatible avec des fichiers inverse est rarement explicitée dans les publications. Nous proposons ici de définir plus formellement l’expression d’une formule de correspondance compa...
متن کاملEntretien avec Ken Whistler, directeur technique du consortium Unicode
Interview with Dr. Ken Whistler, technical director of the Unicode Consortium on the origin of the Unicode standard and its relation to ISO/IEC 10646. Dr. Whistler answers several questions related to the perceived implementation problems and apparent weaknesses of the Unicode standard. 1. Le cri, une des langues autochtones parlées au Québec, est pris en charge par Unicode. 330 DN – 6/2002. Un...
متن کاملLa combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données
Les méthodes utilisées pour la spécification et le développement d’applications de bases de données sont basées soit sur les notations graphiques (appelées méthodes semi-formelles) soit sur des notations mathématiques (appelées méthodes formelles). Les méthodes semi-formelles (E-R, UML, OMT,...) (Jacobson et al., 2005) permettent une représentation intuitive et synthétique du système à étudier....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Circuit
سال: 2009
ISSN: 1488-9692,1183-1693
DOI: 10.7202/038256ar